﻿using System;
using System.Diagnostics.Contracts;

namespace O1
{
    [ContractVerification(true)]
    internal static class TextExtensions
    {
        public static string ToFormat(this string format, params object[] args)
        {
            Contract.Requires(format != null);
            Contract.Requires(args != null);

            return string.Format(format, args);
        }
    }
}
